Wyniki
-
A Gentzen system equivalent to the BCK-logic
Roma J. Adillon, Ventura Verdu
Bulletin of the Section of Logic , 25 /2 (1996) s. 73-80 -
On the logic of distributive lattices
Josep Maria Font, Ventura Verdu
Bulletin of the Section of Logic , 18 /2 (1989) s. 79-86 -
On a Substructural Gentzen System, its Equivalent Variety Semantics and its External Deductive System
Roma J. Adillon, Ventura Verdu
Bulletin of the Section of Logic , 31 /3 (2002) s. 125-134 -
Lukasiewicz logic and Wajsberg algebras
Antonio Rodrigues, Antoni Torrens, Ventura Verdu
Bulletin of the Section of Logic , 19 /2 (1990) s. 51-55 -
Characterization of the reduced matrices for the {&,or}-fragment of classical logic
Josep Maria Font, F. Guzman, Ventura Verdu
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 124-129 -
Formuła „wolność religii lub przekonań” w laboratorium Unii Europejskiej
Marco Ventura
Studia z Prawa Wyznaniowego 23 (2020) s. 7-53 -
Encontrei "outro Mar" com Cecília Meireles
Rui Miguel Ventura do Couto Tavares de Faria
Itinerarios. Revista de estudios lingüísticos, literarios, históricos y antropológicos /7 (2008) s. 77-87 -
Czynniki powodujące niszczenie fresków w średniowiecznym kościele na Malcie
Carmen Taliana, JoAnn Cassar, Alfred J. Vella, Frank Ventura
Ochrona Zabytków , 48 /1 (188) (1995) s. 85-90